Filters in algebras of fuzzy logics
نویسندگان
چکیده
This paper presents a generalization of many particular results about special types of filters (e.g., (positive) implicative, fantastic) on algebras of nonclassical (mostly fuzzy) logics. Our approach is rooted in the framework of Abstract Algebraic Logic, and is based on the close connection between the filter-defining conditions and alternative axiomatizations of the logics involved. We identify four main kinds of theorems proved in the literature and we formulate general theorems which (provided a simple syntactical proof) yield the majority of published results as their direct consequences.
منابع مشابه
Some results on fuzzy semi maximal filters in BL-algebras
In this paper, first, the concept of the fuzzy semi maximal filters in BL-algebras has been introduced, then several properties of fuzzy semi maximal filters have been studied and its relationship with other fuzzy filters including fuzzy (positive)implicative fuzzy filters and fuzzy fantastic filters are investigated. In the following, using the level subsets of fuzzy sets in a BL-algebra...
متن کاملT-FUZZY CONGRUENCES AND T-FUZZY FILTERS OF A BL-ALGEBRA
In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there i...
متن کاملNeutrosophic Regular Filters and Fuzzy Regular Filters in Pseudo-BCI Algebras
Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indeterminacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics. Recently, we applied neutrosophic set theory to pseudo-BCI algebras. In this paper, we study neutrosophic filters in pseudo-BCI algebras. The concepts...
متن کاملSemi-G-filters, Stonean filters, MTL-filters, divisible filters, BL-filters and regular filters in residuated lattices
At present, the filter theory of $BL$textit{-}algebras has been widelystudied, and some important results have been published (see for examplecite{4}, cite{5}, cite{xi}, cite{6}, cite{7}). In other works such ascite{BP}, cite{vii}, cite{xiii}, cite{xvi} a study of a filter theory inthe more general setting of residuated lattices is done, generalizing thatfor $BL$textit{-}algebras. Note that fil...
متن کاملSoft Ultra-Fılters and Soft G-Fılter of MTL-Algebras
The logic MTL, Monoidal t-norm based logic was presented by F. Estva and L. Godo and discuss several properties of MTL-algebra in [6] The Boolean logic (BL) was introduced by P. Hajek and discuss the properties in [1].The fuzzy reasoning and implication operators was discussed by Ying in ([2],[3]). A proper logical system for fuzzy propositional calculus and a innovative arithmetical configurat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011